61. A profile of mathematical logic.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.
رده :
QA9
.
D37
62. A profile of mathematical logic
المؤلف: DeLong, Howard
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
D37
63. A readable introduction to real mathematics
المؤلف: Rosenthal, Daniel.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
رده :
QA
93
.
R6
2014
64. A sequential introduction to real analysis /
المؤلف: J.M. Speight
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematical analysis,Precalculus
65. A theory of sets
المؤلف: / Anthony P. Morse
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Set theory,Logic, symbolic and mathematical
رده :
511
.
3
Mo-T
66. A theory of sets
المؤلف: Morse, Anthony Perry
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
3
.
P8
v
.
18
67. Abelian varieties
المؤلف: Lang, Serge
المکتبة: (طهران)
موضوع: ، Abelian groups,، Logic, Symbolic and mathematical
رده :
QA
171
.
L28
68. Abstract set theory
المؤلف:
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic, symbolic and mathematical,Algebra, abstract
رده :
512
.
8
Fr-A
69. Acting and Reflecting :
المؤلف: edited by Wilfried Sieg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
70. Admissibility of logical inference rules
المؤلف: Rybakov, Vladimir Vladimir
المکتبة: (طهران)
موضوع: Logic, Symbolic and mathematical , Inference
رده :
QA
9
.
R986
1997
71. Admissibility of logical inference rules
المؤلف: Rybakov, Vladimir V. )Vladimir Vladimir(
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Logic, Symbolic and mathematical,، Inference
رده :
QA
9
.
R986
1997
72. Advanced mathematics :
المؤلف: Stanley J. Farlow.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.
رده :
QA37
.
3
73. Advanced mathematics :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
74. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
المؤلف: Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
المکتبة: (طهران)
موضوع: Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
75. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
المؤلف: Su Gao, Steve Jackson, Yi Zhang, editors
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1N67
2004
76. After Godel : Platonism and rationalism in mathematics and logic
المؤلف: Tieszen, Richard L.
المکتبة: (طهران)
موضوع: ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
77. After Gغodel :Platonism and rationalism in mathematics and logic
المؤلف: Tieszen, Richard L.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Gغodel, Kurt,، Logic, Symbolic and mathematical
رده :
QA9
.
T54
2011
78. Alan Turing :
المؤلف: edited by S. Barry Cooper and Jan van Leeuwen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
79. Alan Turing : his work and impact
المؤلف: Cooper, S. B. )S. Barry(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8
C65
2013
